Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
691	Implicit Self-Adjusting Computation for Purely Functional Programs Yan Chen Joshua Dunfield Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-09-08 07:50:56 Logic in computer science Lambda calculus Programming language semantics Symbol Papyrus 1 Immunoglobulin heavy chain
692	Once you see how it works, it’s not so mysterious. 21 Example: The Functions Program Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:19 Subroutines Functional programming Lambda calculus Higher-order functions Computability theory Function Main function Parameter Scheme Software engineering Computer programming Computing
693	The function f (x , y ) = sin xy plotted by computer 2 Functions Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:11 Declarative programming Subroutines Lambda calculus Functional programming Higher-order functions Function Parameter C++ classes Domain of a function Mathematics Software engineering Functions and mappings
694	A Graphical Language for Proof Strategies Gudmund Grov1 , Aleks Kissinger2 and Yuhui Lin1 1 School of Mathematical and Computer Sciences, Heriot-Watt University, Edinburgh, UK, {G.Grov,Y.Lin}@hw.ac.uk Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-11-14 06:14:48 Graph rewriting Search algorithms Lambda calculus Graph Depth-first search Combinatory logic Planar graph Graph theory Theoretical computer science Mathematics
695	miniKanren, Live and Untagged Quine Generation via Relational Interpreters (Programming Pearl) William E. Byrd Eric Holk Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2012-10-22 13:47:39 Software engineering Computability theory Eval Scheme Env Combinatory logic Computing Lambda calculus Theoretical computer science
696	Toward a Practical Type Theory for Recursive Modules Derek R. Dreyer Robert Harper Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 2001-03-22 16:01:25 Type theory Data types Recursion Computability theory Recursive data type Standard ML Fixed-point combinator Lambda calculus Generic programming Theoretical computer science Applied mathematics Mathematics
697	Correct Blame for Contracts ∗ No More Scapegoating Christos Dimoulas Robert Bruce Findler Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Deduction Combinatory logic Valuation Entailment Symbol Logic Logic in computer science Lambda calculus
698	Mechanized Verification of CPS Transformations Zaynah Dargaye and Xavier Leroy INRIA Paris-Rocquencourt B.P. 105, 78153 Le Chesnay, France [removed], [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-07-30 10:00:27 Mathematical logic Models of computation Logic in computer science Computability theory Formal methods Continuation-passing style Denotational semantics De Bruijn notation De Bruijn index Theoretical computer science Lambda calculus Mathematics
699	αKanren A Fresh Name in Nominal Logic Programming William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:16:22 Models of computation Admissible rule Modal logic Symbol Lambda calculus Unification Structure Mathematical logic Mathematics Logic
700	banner above paper title An Efficient Type- and Control-Flow Analysis for System F Connor Adsit Matthew Fluet Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Applied mathematics Computer science Computability theory Lambda calculus Theoretical computer science

UPDATE